axioms of denumerability

可数公理